minios: Various small fixes.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 19 Mar 2007 09:34:42 +0000 (09:34 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 19 Mar 2007 09:34:42 +0000 (09:34 +0000)
commitf55d16fa21b0e87079c4075597c355251131ad16
treeccc6f55cff57702d75775855378046eab6a815d1
parent569b0bb3b92ca539da34d41d092deb8edb7a81ce
minios: Various small fixes.

- Fixed type of variables in hypervisor.c.
- Fixed not removing a waiter from watch_queue.
- Make wait_for_watch() global accessible.

Signed-off-by: Dietmar Hahn <dietmar.hahn@fujitsu-siemens.com>
extras/mini-os/hypervisor.c
extras/mini-os/include/wait.h
extras/mini-os/include/xenbus.h
extras/mini-os/xenbus/xenbus.c